Conditioned disjunction